George Berkeley - PDFSEARCH.IO - Document Search Engine

George Berkeley
Results: 261

#	Item
71	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
72	COGNITION AND EMOTION, 2004, 18 (3), 431±444 BRIEF REPORT The coherence of emotion systems: Comparing ``on-line'' measures of appraisal and facial expressions, and self-report George A. Bonanno Add to Reading List Source URL: greatergood.berkeley.edu Language: English - Date: 2006-01-19 05:13:52 Facial expressions Psychological theories Emotion Anger Smile Sadness Facial Action Coding System Disgust Resentment Emotions Mind Ethology
73	(1539) Proposal to conserve the name Chlorophyllum Massee against Endoptychum Czern. (Agaricaceae) Add to Reading List Source URL: nature.berkeley.edu Language: English - Date: 2011-11-30 18:38:43 Endoptychum Chlorophyllum Agaricus Macrolepiota Carlo Vittadini Mushroom poisoning George Edward Massee Basidiocarp Lepiota Agaricaceae Mycology Biology
74	Finding and Preventing Run-Time Error Handling Mistakes Westley Weimer George C. Necula University of California, Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-29 12:59:20 Control flow Object-oriented programming Exception handling Finalizer Java Fault injection Stack Software bug Call stack Software engineering Computing Computer programming
75	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
76	Second-order logic (Cariani/MacFarlane) This exam focuses on philosophical issues surrounding second-order logic. The main focus is on Boolos’s project of devising interpretations for the second-order quantifiers that Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Analytic philosophers Quantification Predicate logic Philosophical logic George Boolos Plural quantification Philosophy of logic Second-order logic Willard Van Orman Quine Logic Philosophy Analytic philosophy
77	Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning Wontae Choi George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:25:32 Software Algorithm Mobile operating system Monkey test IOS Smartphones Computing Computer architecture
78	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
79	PDF Document Add to Reading List Source URL: greatergood.berkeley.edu Language: English - Date: 2006-02-27 15:05:39 Abnormal psychology Intelligence Intelligence tests Grief George Bonanno Ambivalence Traumatic grief Major depressive disorder Attachment theory Mind Emotions Behavior
80	PDF Document Add to Reading List Source URL: greatergood.berkeley.edu Language: English - Date: 2006-01-19 01:05:51 Humor Positive psychology Laughter Smile Facial expression Affect Emotion George Bonanno Grief Mind Behavior Ethology